Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
411	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
412	Instructions • Enter your Registration Number here: CMI PG– or here: C– Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2014-09-01 03:15:02 Computability theory Theory of computation Mathematical optimization Algorithm Mathematical logic Halting problem PP Dynamic programming Berlekamp–Massey algorithm Theoretical computer science Applied mathematics Mathematics
413	A preliminary version of this paper appeared in Theory of Cryptography Conference, TCC ’05, Lecture Notes in Computer Science Vol. ???, Joe Kilian ed, Springer Verlag, 2005. This is the full version. Secure Computation Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2004-12-15 13:27:27 Computability theory Oracle machine
414	rKanren Guided Search in miniKanren Cameron Swords Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:14 Lambda calculus Theoretical computer science Weight Mathematics Applied mathematics Abstract algebra Models of computation Computability theory
415	 3        Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:09 Programming idioms Recursion Computer performance Software optimization Computability theory Memoization CPU cache Cache Lookup table Computing Computer programming Software engineering
416	Irreducibility to the One-More Evaluation Problems: More May Be Less Daniel R. L. Brown∗ June 9, 2010 Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-06-09 14:57:08 Finite fields Computability theory Cryptographic protocols Computational complexity theory Diffie–Hellman problem XTR Random self-reducibility Oracle machine Reduction Theoretical computer science Applied mathematics Mathematics
417	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
418	Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:07:03 Formal languages Metalogic Computability theory Automata theory Model theory Structure Regular language Decision problem Reduction Theoretical computer science Mathematics Applied mathematics
419	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
420	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science

UPDATE